(0 20 4)(1 14 13)(2 18 16)(3 10 5)(6 19 8)(7 11 9)(12 17 15)
ALLOWS (11/8)-SEQUENCE
1: (4 7 20)
(0 20 11 9 7)(1 14 13)(2 18 16)(3 10 5)(4)(6 19 8)(12 17 15)
2: (3 10 5)
(0 20 11 9 7)(1 14 13)(2 18 16)(3)(4)(5)(6 19 8)(10)(12 17 15)
3: (9 20 11)
(0 20 7)(1 14 13)(2 18 16)(3)(4)(5)(6 19 8)(9)(10)(11)(12 17 15)
4: (6 19 8)
(0 20 7)(1 14 13)(2 18 16)(3)(4)(5)(6)(8)(9)(10)(11)(12 17 15)(19)